(= 3i (+ 1u 2i))
